Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
311	TALN 2004, Session Poster, Fès, 19–21 avril[removed]Disambiguation and Optional Co-Composition Pablo Gamallo (1), Gabriel P. Lopes (1), Alexandre Agustini[removed]CITI, Faculdade de Ciências e Tecnologia, Universidade Add to Reading List Source URL: www.afcp-parole.org Language: English - Date: 2010-06-18 08:00:04 Parts of speech Syntax Natural language processing Predicate Word-sense disambiguation Noun Government Head Combinatory logic Linguistics Grammar Semantics
312	Journal of Machine Learning Research[removed]–1653 Submitted 10/05; Published 7/06 Structured Prediction, Dual Extragradient and Bregman Projections Ben Taskar Add to Reading List Source URL: www.jmlr.org Language: English - Date: 2006-07-07 16:03:04 Linear programming Dynamic programming Mathematical optimization Function Combinatory logic Markov random field Mathematics Operations research Applied mathematics
313	Weakly Supervised Learning of Semantic Parsers for Mapping Instructions to Actions Yoav Artzi and Luke Zettlemoyer Computer Science & Engineering University of Washington Seattle, WA 98195 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-04-09 19:51:28 Semantics Predicate logic Formal languages Model theory Computational linguistics First-order logic Parsing Combinatory categorial grammar Combinatory logic Logic Mathematics Mathematical logic
314	Spectral structure of sets of integers Ben Green1 Abstract Let A be a small subset of a finite abelian group, and let R be the set of points at which its Fourier transform is large. A result of Chang states that R has a Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2013-08-05 12:58:17 Symbol Spectrum Fourier transform Support Combinatory logic Lp space Spectral theory of ordinary differential equations Decomposition of spectrum Mathematical analysis Mathematics Spectral theory
315	SWITCH-REFERENCE AND CATEGORIAL GRAMMAR Natsuko Tsujimura Brown University 0. Introduction Switch-Reference (SR) is a phenomenon in which the Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-09-04 10:39:14 Switch-reference Syntax Categorial grammar Functor Control Combinatory logic Grammar Linguistics Language
316	ums08h26homogeneousfunctions.dvi Add to Reading List Source URL: www.econ.ucsb.edu Language: English - Date: 2009-10-28 14:22:53 Lambda calculus Homogeneous function Linear algebra Spectral theory Combinatory logic Spectral theory of ordinary differential equations Mathematics Mathematical analysis Theoretical computer science
317	May 9, [removed]:31 WSPC/Trim Size: 11in x 8.5in for Proceedings Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2008-05-09 20:20:35 Lie algebras Combinatory logic Lambda calculus Logic in computer science Weight Sheaf Vector space Algebra Abstract algebra Mathematics
318	Alignment of Teaching and Learning Activities (TLA) and Assessment Tasks (AT) with Learning Outcomes (LO) Description of Activities Add to Reading List Source URL: www.ctl.ualberta.ca Language: English - Date: 2014-02-11 13:32:22 Combinatory logic Lambda calculus Logic in computer science
319	Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0, [removed] Add to Reading List Source URL: kambing.ui.ac.id Language: English - Date: 1999-11-15 15:09:17 Logic in computer science Operator theory Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus
320	Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0, [removed] Add to Reading List Source URL: ftp.heanet.ie Language: English - Date: 1999-11-15 15:09:17 Logic in computer science Operator theory Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus

UPDATE